|
課程概述 |
TOPICS
1. Propositional Logic
2. Predicate Logic
3. Sets
4. Functions, Recursion and Mathematical Induction
5. Introduction to Formal Languages and Finite State Machines
6. Relations
7. Program Verification
8. Inclusion-Exclusion, Generating Functions, Recurrence Relations
9. Graph Theory
10. Trees
11. Introduction to Design and Analysis of Algorithms
|